A new approach to one-pass transformations
نویسنده
چکیده
We show how to construct a one-pass optimizing transformation by fusing a non-optimizing transformation with an optimization pass. We state the transformation in build form and the optimization pass in cata form, i.e., as a catamorphism; and we use cata/build fusion to combine them. We illustrate the method by fusing Plotkin’s call-by-value and call-by-name CPS transformations with a reduction-free normalization function for the λ-calculus, thus obtaining two new one-pass CPS transformations. The method can be used to construct other one-pass transformations via program fusion.
منابع مشابه
Best Student Paper: A New Approach to One-Pass Transformations
We show how to construct a one-pass optimizing transformation by fusing a non-optimizing transformation with an optimization pass. We state the transformation in build form and the optimization pass in cata form, i.e., as a catamorphism; and we use cata/build fusion to combine them. We illustrate the method by fusing Plotkin’s call-by-value and call-by-name CPS transformations with a reduction-...
متن کاملSEIMCHA: a new semantic image CAPTCHA using geometric transformations
As protection of web applications are getting more and more important every day, CAPTCHAs are facing booming attention both by users and designers. Nowadays, it is well accepted that using visual concepts enhance security and usability of CAPTCHAs. There exist few major different ideas for designing image CAPTCHAs. Some methods apply a set of modifications such as rotations to the original imag...
متن کاملDerivation of Oscillators from Biquadratic Band Pass Filters Using Circuit Transformations
Network transformations are the techniques to obtain new functional schemes from available circuits. They are systematic methodologies, since each transformation technique can be applied to many circuits to obtain the desired functions or characteristics. A convenient network transformation method, exploiting different circuit transformations, for deriving linear sinusoidal oscillators from biq...
متن کاملThe Impact of Exchange Rate Pass-Through via Domestic Prices on Inflation in Iran: New Evidence from a Threshold Regression
There are various causes for inflation in macroeconomics. One of the important channels of experiencing inflation is through the international economy caused by external shocks. In this context, the impact of exchange rate volatilities on domestic prices known as Exchange Rate Pass-Through (ERPT) plays a vital role. The present paper deals with the impact of Exchange Rate Pass-Through on inflat...
متن کاملA Project Scheduling Method Based on Fuzzy Theory
In this paper a new method based on fuzzy theory is developed to solve the project scheduling problem under fuzzy environment. Assuming that the duration of activities are trapezoidal fuzzy numbers (TFN), in this method we compute several project characteristics such as earliest times, latest times, and, slack times in term of TFN. In this method, we introduce a new approach which we call modif...
متن کامل